COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00003 00003	.COMMENT Specific Heur
C00006 ENDMK
C⊗;
.DEVICE XGP
.COMMENT !XGPCOMMANDS←"/TMAR=50/PMAR=2100/BMAR=50";

.FONT 1 "FIX40"
.FONT 2 "BDR66"
.FONT 4  "BDI40"
.FONT 7  "BDR40"
.FONT 8 "BDR25"
.TURN ON "↑α[]↓_π{"
.TURN ON "⊗" FOR "%"
.TABBREAK
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.PAGE FRAME 54 HIGH 91 WIDE
.AREA TEXT LINES 1 TO 53
.DOUBLE SPACE
.PREFACE 2
.NOFILL
.PREFACE 1
.!XGPLFTMAR←100
.MACRO B ⊂ BEGIN NOFILL SELECT 9 INDENT 0 GROUP PREFACE 0 MILLS TURN OFF "{↑↓}[]α" ⊃
.MACRO E ⊂ APART END ⊃
.NEXT PAGE
.INDENT 0
.SELECT 1
.COMMENT Specific Heur;
.ONCE CENTER SELECT 2
↓_A Typical Heuristic Rule_↓

.BEGIN SELECT 7 INDENT 0 PREFACE 0 TURN ON "_∞→\↑↓[]{}&" SELECT 2 TABS 60

↓_IF_↓

X is a predicate
	AND
Effort has been spent looking for examples of X
	AND
The ratio of examples to non-examples is < .01
	


↓_THEN_↓

Add this new job to the agenda:

    	(Generalize  Definitions of X)

The reason is:  "X is too rarely satisfied"
The reason's numeric value is
       the ratio of non-examples to examples of X
       ⊗4(or 1000; whichever is smaller)⊗*
.END